- 双语例句 更多例句
1、
本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。
互联网摘选
2、
Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。
互联网摘选
- 相关词组
- final semantics[计]最终语义学;
- verb semantics动词语义学;
- mathematical ability数学能力;
- mathematical formula[医] 数学公式;
- fault semantics[计]故障语义学;
- general semantics普通语义;
- formal semantics形式语义学[程序];
- body semantics体态语义学；手势语义学;
- semantics of data[计] 数据语义学;
- program semantics程序语义学;
- query semantics[计]查询语义学;
- lexical semantics词汇语义学;
- dynamic semantics[计]动态语义学;
- abstract semantics[计]抽象语义学;
- trace semantics[计]轨迹语义学;
- fixpoint semantics[计]定点语义学;
- data semantics[计]数据语义学;
- world semantics[计] 世界语义学;
- logic semantics[计]逻辑语义学;
- tree semantics[计]树状语义学;
- 今日热词
- 热门搜索
- has it 有了;
- 假期 vacation;leave;vac; holidays and paid leaves of absence;（休假期间） period of leave;holiday;hols ;
- sightseeing n. 观光；游览vi.参观;
- assumption n.假定; 假设; (责任的)承担; 担任; (权力的)获得;
- results n. 后果，结果（ result的名词复数 ）;成绩（包括比分、得票、获胜者或当选者名单等）;成功实现的事;v. 发生（ result的第三人称单数 ）;导致;随着发生;结果发生;
- light n.光;发光体;点火物;眼光;亮色;窗;v.照亮;点燃;用光指引;
- 甲流 swine flu;swine flu
- shopping cart 购物车;
- population n.人口;族群;
- motto n.座右铭;格言;箴言;主题句;
- epic n. 叙事诗;史诗;史诗般的作品;adj. 史诗般的，叙事诗的;宏大的，壮丽的，英雄的;
- axure 网络原型；原型设计；线框图制作软件;能帮助网站需求设计者，快捷而简便的创建基于网站构架图的带注释页面示意图、操作流程图、以及交互设计，并可自动生成用于演示的网页文件和规格文件，以提供演示与开发
